Parametrisation of Coloured Petri Nets

Parametrisation of Coloured Petri Nets

In this paper we propose a conceptual framework for parametrisa-tion of Coloured Petri Nets | a rst step towards the formulation and formalisation of Parametric Coloured Petri Nets. We identify and charac-terise three useful kinds of parametrisation, namely value, type, and net structure parameters. While the two former kinds are simple to design the latter kind is more complex, and in this con...

Parameterised Coloured Petri Nets

Coloured Petri Nets Refinements

Coloured Petri nets allow for modelling complex concurrent systems, but the specification of such systems remains a challenging task. Two approaches are generally used to lessen these difficulties: decomposition and refinement. Charles Lakos proposed three kinds of refinements for coloured Petri nets: type refinement, subnet refinement, and node (place or transition) refinement. This paper prop...

Game Coloured Petri Nets

This paper introduces the notion of game coloured Petri nets. This allows the modeler to explicitly model what parts of the model comprise the modeled system and what parts are the environment of the modeled system. We give the formal definition of game coloured Petri nets, a means of reachability analysis of this net class, and an application of game coloured Petri nets to automatically genera...

Morphisms of Coloured Petri Nets

Abstract. We introduce the concept of a morphism between coloured nets. Our definition generalizes Petris definition for ordinary nets. A morphism of coloured nets maps the topological space of the underlying undirected net as well as the kernel and cokernel of the incidence map. The kernel are flows along the transitionbordered fibres of the morphism, the cokernel are classes of markings of th...